An Automated Fault Tree Generation Approach With Fault Configuration Based on Model Checking
نویسندگان
چکیده
منابع مشابه
Automated Fault Tree Generation from Requirement Structures
The increasing complexity of today’s vehicles gives drivers help with everything from adaptive cruise control to warning lights for low fuel level. But the increasing functionality also increases the risk of failures in the system. To prevent system failures, different safety analytic methods can be used, e.g., fault trees and/or FMEA-tables. These methods are generally performed manually, and ...
متن کاملCombining Real-Time Model-Checking and Fault Tree Analysis
We present a semantics for fault tree analysis, a technique used for the analysis of safety critical systems, in the real-time interval logic Duration Calculus with Liveness and show how properties of fault trees can be checked automatically. We apply this technique in two examples and show how it can be connected to other verification techniques.
متن کاملStudy on Transformer Fault Diagnosis Based on Dynamic Fault Tree
In this paper, according to theoretical diagnosis of fault tree, the author builds a diagnosis model based on dynamic fault tree and illustrates the model’s construction method and diagnosis logic in detail. According to case analysis, compared with conventional fault tree diagnosis, the above-mentioned method is advanced in fault-tolerant ability. Plus, the diagnosis results record some interm...
متن کاملA Model Checking Approach to Network Fault Management
We propose an approach to analyze network systems based on formal methods. The trace analysis approach relies on model checking and ensures an automated and exhaustive analysis of traces of executions collected from networks through monitoring. In particular, we show how to apply the approach to the fault management procedure, and we illustrate using an
متن کاملA Behaviour-Based Method for Fault Tree Generation
This paper presents a new theory of fault trees for complex systems. The theory treats faults as behaviours, and fault-tree gates as operations on those behaviours. Fault tree analysis is an important and widely used technique for understanding safety critical systems. Traditional fault tree methodologies typically view faults in terms of failure events or conditions of the system being analyse...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Access
سال: 2018
ISSN: 2169-3536
DOI: 10.1109/access.2018.2863696